(assert (= (str.replace_all "" "" "") ""))
(check-sat)
